Admissible rules, derivable rules, and extendible logistic systems.
نویسندگان
چکیده
منابع مشابه
Admissible and Derivable Rules in Intuitionistic Logic
A well-known problem in intuitionistic logic is the existence of valid but not derivable rules. This problem seems to be related with some constructive features of intuitionism (disjunction and existence property) but appear also in modal logics. We study here a particular case of this phenomenon, admissible rules in propositional calculus. G.E.Mints in [Mi 72] give sufficients conditions for a...
متن کاملMining Non-Derivable Association Rules
Association rule mining typically results in large amounts of redundant rules. We introduce efficient methods for deriving tight bounds for confidences of association rules, given their subrules. If the lower and upper bounds of a rule coincide, the confidence is uniquely determined by the subrules and the rule can be pruned as redundant, or derivable, without any loss of information. Experimen...
متن کاملComplexity of admissible rules
We investigate the computational complexity of deciding whether a given inference rule is admissible for some modal and superintuitionistic logics. We state a broad condition under which the admissibility problem is coNEXP -hard. We also show that admissibility in several well-known systems (including GL, S4, and IPC ) is in coNE , thus obtaining a sharp complexity estimate for admissibility in...
متن کاملConsequence Relations and Admissible Rules
This paper contains a detailed account of the notion of admissibility in the setting of consequence relations. It is proved that the two notions of admissibility used in the literature coincide, and it provides an extension to multi-conclusion consequence relations that is more general than the one usually encountered in the literature on admissibility. The notion of a rule scheme is introduced...
متن کاملRcd Rules and Power Systems Observability
Power system state estimation is a process to find the bus voltage magnitudes and phase angles at every bus based on a given measurement set. The state estimation convergency is related to the sufficiency of the measurement set. Observability analysis actually tests this kind of problem and guarantees the state estimation accuracy. A new and useful algorithm is proposed and applied in this pape...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Notre Dame Journal of Formal Logic
سال: 1974
ISSN: 0029-4527
DOI: 10.1305/ndjfl/1093891302